Métodos Formais em Engenharia de Software
Mestrado de [Engenharia] Informática (2010/11)
Cancel
Search
:
^m
Education/MFES1011 Web
Changed
Changed by
Material
15 Jul 2012 - 18:15 - r34
JoseNunoOliveira
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM